The Journal of Logic Programming±41 www.elsevier.com/locate/jlpr An abstract machine for eciently computing queries to well-founded modelsq

Source URL: user.it.uu.se

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

Source URL: research.cs.wisc.edu

• Logic in computer science
• Programming language semantics
• Programming language implementation
• Compiler construction
• Formal methods
• Abstract interpretation
• Semantics
• Static program analysis
• Syntax
• GrammaTech
• Denotational semantics
• Compiler

Can Semantic Roles Generalize Across Genres? Abstract PropBank has been widely used as training data for Semantic Role Labeling. However, because this training data is taken from the WSJ, the resulting machine

Source URL: ed.loper.org

Scalable Active Matching Ankur Handa, Margarita Chli, Hauke Strasdat and Andrew J. Davison Department of Computing, Imperial College London, UK {ahanda, mchli, strasdat, ajd}@doc.ic.ac.uk Abstract

Source URL: www.margaritachli.com

• Artificial intelligence
• Statistics
• Mathematics
• Machine learning
• Graphical models
• Probability theory
• Combinatorial optimization
• Matching
• Pattern recognition
• Random sample consensus
• Mixture model
• Simultaneous localization and mapping

Noise-Tolerant Learning, the Parity Problem, and the Statistical Query Model AVRIM BLUM, ADAM KALAI, AND HAL WASSERMAN Carnegie Mellon University, Pittsburgh, Pennsylvania Abstract. We describe a slightly subexponential

Source URL: research.microsoft.com

• Computational learning theory
• Machine learning
• Artificial intelligence
• Learning
• Probability distribution
• Theoretical computer science
• Probably approximately correct learning
• Statistical classification
• Error Tolerance
• Supervised learning

Laundry Laundering: A Security Analysis of Laundromat Washing Machines at the University of Michigan Eric Wustrow, Jahan Khanna University of Michigan {ewust,jahan}@umich.edu Abstract

Source URL: ericw.us

• Computing
• Computer hardware
• Technology
• Smart cards
• Centrifuges
• Home automation
• Laundry
• Washing machine
• Cash machine
• Card reader
• Maytag
• USB

A Correct Abstract Machine for Safe Ambients? Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 2

Source URL: perso.ens-lyon.fr

IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, An Experimental Study on Pedestrian Classification S. Munder and D.M. Gavrila Abstract—Detecting people in images is key for several important applicatio

Source URL: gavrila.net

Usher: An Extensible Framework for Managing Clusters of Virtual Machines Marvin McNett, Diwaker Gupta, Amin Vahdat, and Geoffrey M. Voelker – University of California, San Diego ABSTRACT Usher is a virtual machine mana

Source URL: sysnet.ucsd.edu

THE RANDOM ORACLE MODEL: A TWENTY-YEAR RETROSPECTIVE NEAL KOBLITZ AND ALFRED J. MENEZES Abstract. It has been roughly two decades since the random oracle model for reductionist security arguments was introduced and one d

Source URL: cacr.uwaterloo.ca

• Diffie–Hellman problem
• Full Domain Hash
• Rabin signature algorithm
• Oracle machine
• Optimal asymmetric encryption padding
• Digital signature
• Schnorr signature
• Standard model
• RSA
• Cryptography
• Public-key cryptography
• Random oracle